Section: Partnerships and Cooperations

National Initiatives

Investissements d'avenir

Datalyse

• Title: Entrepôt Intelligent pour Big Data hétérogènes. Investissements d’Avenir Développement de l’Economie Numérique.

• Call: Cloud Computing, num 3 – Big Data.

• Duration: May 2013 - November 2016

• Coordinator: Business & Decision Eolas

• Others partners: Groupement des Mousquetaires, Inria Saclay (OAK EPC), LIG (Hadas and Erods teams), LIRMM (Montpellier), LIFL (Lille).

• See also: http://www.datalyse.fr/

• Abstract: Project Datalyse aims at designing and deploying an infrastructure for big data storage, collection, certification, integration, categorisation, enrichment and sharing over very large heterogeneous data sets. It relies on an industrial platform, to be made available on the cloud, and focuses on three flagship applications, showcasing three uses of big data over different data sets:

  • Data-Center Monitoring: The goal of this application is to provide features such as traceability, reporting, optimisation and analysis of abnormal behaviour regarding energy efficiency and security issues. The application will be built with an existing application called ScopeBR (Eolas) and will be deployed in two different green data centers, those of Eolas and GDF SUEZ.

  • “Territoire de données ouvertes et liées”: This application aims at extracting and provisioning public open data collected from the city of Grenoble and its suburbs. The goal is to make public data available to third-party application developers and to federate local actors around a single platform.

  • Real-time Business Intelligence for the management and processing of points of sale: this application will focus on real-time data analytics and will be deployed within “Groupement des Mousquetaires” in support of their business intelligence platforms.

ANR

Typex

• Title: Typeful certified XML: integrating language, logic, and data-oriented best practices

• Call: Programme Blanc

• Duration: January 2012 - December 2015

• Coordinator: PPS (CNRS - Paris 7 Diderot)

• Others partners: LRI (Orsay)

• See also: http://typex.lri.fr

• Abstract: The highly ambitious and final goal of this project is to produce a new generation of XML programming languages stemming from the synergy of integrating three approaches into a unique framework:

  • a logical approach based on solvers

  • a programming language (PL) approach

  • a data-oriented approach

  These languages will feature precise and polymorphic type systems that merge PL typing techniques with logical-solver-based type inference. They will be implemented efficiently using the latest research on tree automata and formally certified using modern theorem prover technology. They will offer the capacity to specify and formally verify invariants, business rules, and data integrity, and will have a direct and immediate impact on standardization processes.

Transfer Contracts with Startups

Oppidoc

• Title: Study of Potential Benefits of Introducing Static Analyses in the Oppidum Development Process

• Duration: November - December 2015

• Coordinator: Pierre Genevès

• Abstract: The Oppidoc startup develops “Oppidum”: an XQuery web application framework which simplifies the development of XML-REST-XQuery applications (XRX) with the full XML technology stack (XQuery, XSLT, native XML database). It relies on a RESTful approach and on a well defined application model using concepts (routes, conventions, pipelines) popularized in other frameworks such as Ruby On Rails, Orbeon Forms and more recently Express on nodejs. Our collaboration concerns a study about the introduction of advanced static analyses techniques in the Oppidum development process.